5

A New File Transfer Protocol

Year:
1985
Language:
english
File:
PDF, 2.04 MB
english, 1985
6

Algorithmic Verification of ISDN Network Layer Protocol

Year:
1990
Language:
english
File:
PDF, 3.32 MB
english, 1990
7

The Challenges of a Sleeping Giant

Year:
2005
Language:
english
File:
PDF, 482 KB
english, 2005
12

Distributed call processing for wireless mobile networks

Year:
1996
Language:
english
File:
PDF, 137 KB
english, 1996
13

Overview

Year:
2009
Language:
english
File:
PDF, 147 KB
english, 2009
15

A protocol test generation procedure

Year:
1988
Language:
english
File:
PDF, 1.04 MB
english, 1988
16

Verification of a multidestination selective repeat procedure

Year:
1976
Language:
english
File:
PDF, 1.17 MB
english, 1976
17

Expected convergence properties of BGP

Year:
2011
Language:
english
File:
PDF, 2.10 MB
english, 2011
18

Probabilistic verification of communication protocols

Year:
1989
Language:
english
File:
PDF, 1.15 MB
english, 1989
19

Guest editorial

Year:
1990
Language:
english
File:
PDF, 105 KB
english, 1990
25

The Comparison Approach to Multiprocessor Fault Diagnosis

Year:
1987
Language:
english
File:
PDF, 1.24 MB
english, 1987
33

The programmable protocol VLSI engine (PROVE)

Year:
1994
Language:
english
File:
PDF, 1.26 MB
english, 1994
34

An algorithmic procedure for checking safety properties of protocols

Year:
1989
Language:
english
File:
PDF, 1.05 MB
english, 1989
35

An algorithmic technique for protocol verification

Year:
1988
Language:
english
File:
PDF, 895 KB
english, 1988
36

A periodic state exchange protocol and its verification

Year:
1995
Language:
english
File:
PDF, 1.02 MB
english, 1995
37

Design and implementation of a high-speed transport protocol

Year:
1990
Language:
english
File:
PDF, 1.32 MB
english, 1990
38

Multidestination Protocols for Satellite Broadcast Channels

Year:
1985
Language:
english
File:
PDF, 944 KB
english, 1985
39

A New Connection Establishment Procedure for Multidestination Protocols

Year:
1986
Language:
english
File:
PDF, 556 KB
english, 1986
41

VLSI implementations of communication protocols-a survey

Year:
1989
Language:
english
File:
PDF, 885 KB
english, 1989
43

Pigeon: a wireless two-way messaging system

Year:
1997
Language:
english
File:
PDF, 221 KB
english, 1997
44

Protocol pruning

Year:
1995
Language:
english
File:
PDF, 1.52 MB
english, 1995
45

Formal methods for generating protocol conformance test sequences

Year:
1990
Language:
english
File:
PDF, 1.01 MB
english, 1990